| 1. | Direct model checking matrix algorithm
直接模型检测矩阵算法 |
| 2. | Strategy to group partitioned transition relationship in model checking
模型检验中迁移关系的分组策略 |
| 3. | Two ford models checked in last week
上周有两个杂志模特 |
| 4. | Remove irrelevant atomic formulas for timed automaton model checking
时间自动机的模型检验中消除无关原子约束 |
| 5. | Analysis of contract signing protocol based on probabilistic model checking
基于概率模型检测的合同签订协议分析 |
| 6. | Algebraic model for distributed state machine and its model checking algorithm
分布式状态机的代数模型及其模型检验算法 |
| 7. | A model checking algorithm for temporal logics of knowledge in multi - agent systems
多智体系统时态认知规范的模型检测算法 |
| 8. | Model checking is an important technology of automatic verification
模型检验( modelchecking )是一种重要的自动验证技术。 |
| 9. | An approach of model checking uml statecharts is presented in this paper
本文提出了对umlstatecharts进行模型检验的方法。 |
| 10. | Model checking is then used to check whether a program has a given property
然后使用模型检查来检验一个程序是否有某个给定特性。 |
